module "a" {
  export *
  header "a.h"
}

module "b" {
  export *
  header "b.h"
}

module "c" {
  export *
  header "c.h"
}
